w{-}loc($w$; $e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$e$.1